###############################################################################
# Top contributors (to current version):
#   Aina Niemetz
#
# This file is part of the cvc5 project.
#
# Copyright (c) 2009-2024 by the authors listed in the file AUTHORS
# in the top-level source directory and their institutional affiliations.
# All rights reserved.  See the file COPYING in the top-level source
# directory for licensing information.
# #############################################################################
#
# The build system configuration.
##

cvc5_add_capi_test(issue11069 "issues")

#cvc5_add_capi_test(issue5074)
#cvc5_add_capi_test(issue5893)
#cvc5_add_capi_test(issue4889)
#cvc5_add_capi_test(issue6111)
#cvc5_add_capi_test(issue7000)
#cvc5_add_capi_test(proj-issue306)
#cvc5_add_capi_test(proj-issue308)
#cvc5_add_capi_test(proj-issue334)
#cvc5_add_capi_test(proj-issue337)
#cvc5_add_capi_test(proj-issue344)
#cvc5_add_capi_test(proj-issue345)
#cvc5_add_capi_test(proj-issue373)
#cvc5_add_capi_test(proj-issue377)
#cvc5_add_capi_test(proj-issue378)
#cvc5_add_capi_test(proj-issue379)
#cvc5_add_capi_test(proj-issue381)
#cvc5_add_capi_test(proj-issue382)
#cvc5_add_capi_test(proj-issue383)
#cvc5_add_capi_test(proj-issue386)
#cvc5_add_capi_test(proj-issue388)
#cvc5_add_capi_test(proj-issue395)
#cvc5_add_capi_test(proj-issue399)
#cvc5_add_capi_test(proj-issue413)
#cvc5_add_capi_test(proj-issue414)
#cvc5_add_capi_test(proj-issue416)
#cvc5_add_capi_test(proj-issue418)
#cvc5_add_capi_test(proj-issue420)
#cvc5_add_capi_test(proj-issue421)
#cvc5_add_capi_test(proj-issue422)
#cvc5_add_capi_test(proj-issue423)
#cvc5_add_capi_test(proj-issue426)
#cvc5_add_capi_test(proj-issue429)
#cvc5_add_capi_test(proj-issue431)
#cvc5_add_capi_test(proj-issue434)
#cvc5_add_capi_test(proj-issue435)
#cvc5_add_capi_test(proj-issue436)
#cvc5_add_capi_test(proj-issue440)
#cvc5_add_capi_test(proj-issue445)
#cvc5_add_capi_test(proj-issue455)
#cvc5_add_capi_test(proj-issue484)
#cvc5_add_capi_test(proj-issue538)
#cvc5_add_capi_test(proj-issue567)
#cvc5_add_capi_test(proj-issue570)
#cvc5_add_capi_test(proj-issue573)
#cvc5_add_capi_test(proj-issue574)
#cvc5_add_capi_test(proj-issue575)
#cvc5_add_capi_test(proj-issue576)
#cvc5_add_capi_test(proj-issue580)
#cvc5_add_capi_test(proj-issue581)
#cvc5_add_capi_test(proj-issue587)
#cvc5_add_capi_test(proj-issue600)
#cvc5_add_capi_test(proj-issue611)
#cvc5_add_capi_test(proj-issue612)
#cvc5_add_capi_test(proj-issue618)
#cvc5_add_capi_test(proj-issue621)
#cvc5_add_capi_test(proj-issue644)
#cvc5_add_capi_test(proj-issue646)
#cvc5_add_capi_test(proj-issue652)
#cvc5_add_capi_test(proj-issue654)
#cvc5_add_capi_test(proj-issue655)
#cvc5_add_capi_test(proj-issue656)
#cvc5_add_capi_test(proj-issue657)
#cvc5_add_capi_test(proj-issue666)
